Following the death of her brilliant mathematician father, Catherine struggles to come to terms with his legacy. Inheriting some of both his brilliance and his instability, she is torn between her sister, Claire, who wants to take her back to New York, and Hal, a former student of her father's, who tests both her knowledge and her emotions. In Proof, David Auburn has fashioned ...(展开全部)

Following the death of her brilliant mathematician father, Catherine struggles to come to terms with his legacy. Inheriting some of both his brilliance and his instability, she is torn between her sister, Claire, who wants to take her back to New York, and Hal, a former student of her father's, who tests both her knowledge and her emotions. In Proof, David Auburn has fashioned ...(展开全部)

金伯莉·帕尔默（Kimberly Palmer） 编辑/自由撰稿人/咨询顾问/规划师/公共演讲者/CEO 美国国民网红级斜杠创业家， NBC、CNBC、CNN等美国各大电视和广播节目的常客，精通理财决策和财务规划类话题，演讲足迹遍布全美。她是《美国新闻与世界报道》（U.S. News & World Report）资深编辑、阿尔法消费者（Alpha Consumer）博客博主、《创收一代：年轻专业人士的消费、投资和回馈指南》的作者，也是Etsy“帕尔默规划”小店的老板。她从把副业做成了自己的事业，已经拥有了自己的小型团队。她还曾以亨利卢斯学者（Henry Luce Scholar）的身份为《华盛顿邮报》、《华尔街日报》和东京的《朝日新闻》撰稿。她拥有芝加哥大学公共政策专业的硕士学位，和阿默斯特学院历史专业的学士学位。金伯莉和她的丈夫、两个孩子住在华盛...(展开全部)

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - "The Guardian". In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics wa...(展开全部)

彼得·D·希夫，资深的华尔街预言家，尤以对股市、商品、黄金和美元表现的准确预测见长。他的职业生涯始于希尔森雷曼公司，后于1996年加盟欧洲太平洋资本公司，2000年成为该公司总裁。希夫的观点经常为各大新闻媒体所引用，如《华尔街日报》、《巴伦周刊》、《金融时报》、《纽约时报》和《基督教科学箴言报》等。定期做客CNBC电视台、彭博电视台和福克斯新闻台。他编有投资时事通讯《环球投资人》，并主持每周一次的《透视华尔街》广播节目。他的经济和市场评论经常见诸包括www.europac.net等在内的各大投资网站。 约翰·唐斯，畅销书《财经投资术语词典》、《巴伦财经投资手册》和《战胜道琼斯》的合著者，现居住纽约帕利塞德。

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - "The Guardian". In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics wa...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)